This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Lire la suiteThe International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
Lire la suiteThe focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, ...
Lire la suiteThis book constitutes the refereed proceedings of the 10th Interntaional Workshop on Cryptographic Hardware and Embedded ...
Lire la suiteThis book is about public open spaces, about people, and about the relationship between them and the role of technology in ...
Lire la suiteThis volume contains the papers presented at the 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security ...
Lire la suiteDiscusses a broad overview of traditional machine learning methods and state-of-the-art deep learning practices for hardware ...
Lire la suiteIn this book defense and security related applications are increasingly being tackled by researchers and practioners using ...
Lire la suiteFDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and ...
Lire la suiteThe Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. ...
Lire la suiteThis volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for ...
Lire la suiteThis book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods ...
Lire la suiteThis thoroughly updated and enhanced second edition of Foundations of 3D Graphics Programming is an innovative shortcut ...
Lire la suiteThis book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical ...
Lire la suiteThis book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, ...
Lire la suiteThis book constitutes the thoroughly refereed proceedings of the Second GeoSensor Networks Conference, held in Boston, Massachusetts, ...
Lire la suite